From 85de27467f61775115c5e7f9e14f3db1c8f46dd7 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Thu, 5 Jun 2008 13:04:07 +0100 Subject: [PATCH] stubdom: .hgignore updates Signed-off-by: Samuel Thibault --- .hgignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.hgignore b/.hgignore index aded02539d..ad9043b460 100644 --- a/.hgignore +++ b/.hgignore @@ -1,6 +1,7 @@ .*\.a$ .*\.cmi$ .*\.cmo$ +.*\.cmx$ .*\.d$ .*\.o$ .*\.opic$ @@ -62,6 +63,7 @@ ^extras/mini-os/h/hypervisor-ifs$ ^extras/mini-os/h/xen-public$ ^extras/mini-os/mini-os.*$ +^extras/mini-os/*-stubdom.*$ ^install/.*$ ^linux-[^/]*-paravirt/.*$ ^linux-2.6[^/]*/.*$ @@ -92,6 +94,8 @@ ^stubdom/newlib-.*$ ^stubdom/pciutils-.*$ ^stubdom/zlib-.*$ +^stubdom/c/main-c.c$ +^stubdom/caml/main-c.c$ ^tools/.*/TAGS$ ^tools/.*/build/lib.*/.*\.py$ ^tools/blktap/Makefile\.smh$ -- 2.30.2